Nuprl Lemma : bool_sim_false 13,42

b:. (b = ff)  (b ~ ff) 
latex


Upsqequal 1, sqequal 1
Definitions, t  T, P  Q, x:AB(x), {T}, SQType(T)
Lemmasbfalse wf, bool wf, bool sq

origin